~S argument ~S is not of type ~S.